Kazuyuki Asada: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Categorifying Computations into Components via Arrows as Profunctors

Kazuyuki Asada, Ichiro Hasuo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 496 KB

english, 2010

2

Verifying relational properties of functional programs by first-order refinement

Asada, Kazuyuki, Sato, Ryosuke, Kobayashi, Naoki

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 2.65 MB

english, 2016

3

Refinement Type Checking via Assertion Checking

Sato, Ryosuke, Asada, Kazuyuki, Kobayashi, Naoki

Journal:

Journal of Information Processing

Year:

2015

Language:

english

File:

PDF, 382 KB

english, 2015

4

Diagnostic reference levels and achievable doses for common computed tomography examinations: Results from the japanese nationwide dose survey

Matsunaga, Yuta, Chida, Koichi, Kondo, Yuya, Kobayashi, Kenichi, Kobayashi, Masanao, Minami, Kazuyuki, Suzuki, Shoichi, Asada, Yasuki

Journal:

British Journal of Radiology

Year:

2018

Language:

english

File:

PDF, 2.95 MB

english, 2018

5

VOLUME CT DOSE INDEX AND DOSE-LENGTH PRODUCT VALUES ACCORDING TO FACILITY SIZE IN JAPAN

Matsunaga, Yuta, Kondo, Yuya, Kobayashi, Kenichi, Kobayashi, Masanao, Minami, Kazuyuki, Suzuki, Shoichi, Chida, Koichi, Asada, Yasuki

Journal:

Radiation Protection Dosimetry

Year:

2020

Language:

english

File:

PDF, 332 KB

english, 2020

6

Contribution of automated hematology analysis to the detection of apoptosis in peripheral blood lymphocytes

Kazuyuki Taga, Masayo Yoshida, Masae Kaneko, Mayumi Asada, Masae Okada, Michiyo Taniho, Giovanna Tosato

Journal:

Cytometry Part A

Year:

2000

Language:

english

File:

PDF, 210 KB

english, 2000

7

Preparation and evaluation of magnetic carbonaceous materials for pesticide and metal removal

Masaki Ohno, Hiroki Hayashi, Kazuyuki Suzuki, Tomohiro Kose, Takashi Asada, Kuniaki Kawata

Journal:

Journal of Colloid and Interface Science

Year:

2011

Language:

english

File:

PDF, 416 KB

english, 2011

8

Metabolic flux analysis of a poly-β-hydroxybutyrate producing cyanobacterium,Synechococcussp. MA19, grown under photoautotrophic conditions

Motomu Nishioka, Hajime Nishiuma, Masato Miyake, Yasuo Asada, Kazuyuki Shimizu, Masahito Taya

Journal:

Biotechnology and Bioprocess Engineering

Year:

2002

Language:

english

File:

PDF, 226 KB

english, 2002

9

Cross-Primed CD8+ Cytotoxic T cells Induce Severe Helicobacter-associated Gastritis in the Absence of CD4+ T cells

Toshiro Fukui, Akiyoshi Nishio, Kazuichi Okazaki, Katsuhiro Kasahara, Kazuyuki Saga, Junya Tanaka, Norimitsu Uza, Satoru Ueno, Masahiro Kido, Shinya Ohashi, Masanori Asada, Hiroshi Nakase, Norihiko Wa

Journal:

Year:

2007

Language:

english

File:

PDF, 431 KB

english, 2007

10

ChronologicaI Observations of HistologicaI Changes, Cytochrome Oxidase Activity and Copper Level in the Brain of the Postnatal Brindled Mouse

Noriaki Yoshimura, Mamoru Asada, Kazuyuki Kida, Saburo Usutani, Masahiko Nishimura

Journal:

Pathology International

Year:

1990

Language:

english

File:

PDF, 1.04 MB

english, 1990

11

Molecular forms of human brain natriuretic peptide in plasma

Hiroyuki Shimizu, Keiichi Masuta, Kazuyoshi Aono, Hidehisa Asada, Kazuyuki Sasakura, Mikio Tamaki, Kenji Sugita, Kazuo Yamada

Journal:

Clinica Chimica Acta

Year:

2002

Language:

english

File:

PDF, 139 KB

english, 2002

12

Identification of gastric cancer risk markers that are informative in individuals with pastH.pyloriinfection

Nanjo, Sohachi, Asada, Kiyoshi, Yamashita, Satoshi, Nakajima, Takeshi, Nakazawa, Kazuyuki, Maekita, Takao, Ichinose, Masao, Sugiyama, Toshiro, Ushijima, Toshikazu

Journal:

Year:

2012

Language:

english

File:

PDF, 400 KB

english, 2012

13

514 Effect of Various Toll-Like Receptor Stimulation On the Development of Murine Autoimmune Pancreatitis

Akiyoshi Nishio, Masanori Asada, Takuji Akamatsu, Kazuyuki Saga, Junya Tanaka, Masahiro Kido, Norihiko Watanabe, Tsutomu Chiba

Journal:

Gastroenterology

Year:

2008

Language:

english

File:

PDF, 67 KB

english, 2008

14

What influences social skills in patients with schizophrenia? Preliminary study using the role play test, WAIS-R and event-related potential

Emi Ikebuchi, Kazuyuki Nakagome, Ritsuko Tugawa, Yositaka Asada, Kazuaki Mori, Norimune Takahashi, Satoru Takazawa, Ikuo Ichikawa, Rie Akaho

Journal:

Schizophrenia Research

Year:

1996

Language:

english

File:

PDF, 560 KB

english, 1996

15

Nitrate levels in fresh vegetables and berries from central Japan

Morohashi, Masayuki, Enya, Nami, Suzuki, Kazuyuki, Asada, Takashi, Kawata, Kuniaki

Journal:

Toxicological & Environmental Chemistry

Year:

2010

Language:

english

File:

PDF, 249 KB

english, 2010

16

Identification, Cloning, and Sequencing of the Genes Involved in the Conversion of D , L -2-Amino- Δ 2 -Thiazoline-4-Carboxylic Acid to …

OHMACHI, Tetsuo, NISHINO, Mizuka, KAWATA, Maki, EDO, Namiko, FUNAKI, Hiroko, NARITA, Megumi, MORI, Kazuyuki, TAMURA, Yoshiharu, ASADA, Yoshihiro

Journal:

Bioscience Biotechnology and Biochemistry

Year:

2002

Language:

english

File:

PDF, 1.03 MB

english, 2002

17

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Structural recursion for querying ordered graphs

Hidaka, Soichiro, Asada, Kazuyuki, Hu, Zhenjiang, Kato, Hiroyuki, Nakano, Keisuke

Year:

2013

Language:

english

File:

PDF, 690 KB

english, 2013

18

[ACM Press the 15th Symposium - Madrid, Spain (2013.09.16-2013.09.18)] Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 - A parameterized graph transformation calculus for finite graphs with monadic branches

Asada, Kazuyuki, Hidaka, Soichiro, Kato, Hiroyuki, Hu, Zhenjiang, Nakano, Keisuke

Year:

2013

Language:

english

File:

PDF, 344 KB

english, 2013

19

[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - Verifying Relational Properties of Functional Programs by First-Order Refinement

Asada, Kazuyuki, Sato, Ryosuke, Kobayashi, Naoki

Year:

2015

Language:

english

File:

PDF, 910 KB

english, 2015

20

Effective radiation doses of CT examinations in Japan: a nationwide questionnaire-based study

Matsunaga, Yuta, Kawaguchi, Ai, Kobayashi, Kenichi, Kobayashi, Masanao, Asada, Yasuki, Minami, Kazuyuki, Suzuki, Shoichi, Chida, Koichi

Journal:

British Journal of Radiology

Year:

2015

Language:

english

File:

PDF, 745 KB

english, 2015

21

Plant-Specific Microtubule-Associated Protein SPIRAL2 Is Required for Anisotropic Growth in Arabidopsis

Tsubasa Shoji, Noriyuki N. Narita, Kazuyuki Hayashi, Junko Asada, Takahiro Hamada, Seiji Sonobe, Keiji Nakajima and Takashi Hashimoto

Journal:

PLANT PHYSIOLOGY

Year:

2004

Language:

english

File:

PDF, 2.79 MB

english, 2004

22

Morning blood pressure surge, morning platelet aggregation, and silent cerebral infarction in older Japanese hypertensive patients

Kario, Kazuomi, Yano, Yuichiro, Matsuo, Takefumi, Hoshide, Satoshi, Asada, Yujiro, Shimada, Kazuyuki

Journal:

Journal of Hypertension

Year:

2011

Language:

english

File:

PDF, 242 KB

english, 2011

23

Analysis of Humoral Immune Response in Experimental Autoimmune Pancreatitis in Mice

Asada, Masanori, Nishio, Akiyoshi, Akamatsu, Takuji, Tanaka, Junya, Saga, Kazuyuki, Kido, Masahiro, Watanabe, Norihiko, Uchida, Kazushige, Fukui, Toshiro, Okazaki, Kazuichi, Chiba, Tsutomu

Journal:

Year:

2010

Language:

english

File:

PDF, 1.28 MB

english, 2010

24

An Epidemiological Study of Methicillin-resistant Staphylococcus aureus (MRSA) Isolated from Medical Staff, Inpatients, and Hospital Environment in One Ward at Our Hospital

Nishijima, Setsuko, Sugimachi, Tomoko, Higashida, Toshiaki, Asada, Yasuo, Okuda, Kazuyuki, Murata, Kenjiro

Journal:

The Journal of Dermatology

Year:

1992

Language:

english

File:

PDF, 407 KB

english, 1992

25

COLLABORATIVE WORK TO EVALUATE TOXICITY ON MALE REPRODUCTIVE ORGANS BY REPEATED DOSE STUDIES IN RATS : 4)FADROZOLE HYDROCHLORIDE : AN ORAL 2/4-WEEK MALE REPRODUCTIVE ORGAN TOXICITY STUDY

KAWASHITA, Hiroto, HIRATSUKA, Kazuyuki, KURODA, Junji, ASADA, Yoshihito, SUZUKI, Tadanori, MUGURUMA, Yukimi, TOMIOKA, Satoko, TANI, Mizuno, KONDO, Masahide, MINESHIMA, Hiroshi, NAGAE, Yusuke

Journal:

The Journal of Toxicological Sciences

Year:

2000

File:

PDF, 2.07 MB

2000

26

Protothecosis in a Patient with Systemic Lupus Erythematosus.

TSUJI, Kazuyuki, HIROHARA, Junko, FUKUI, Yasushi, FUJNAMI, Shigeru, SHIOZAKI, Yasuko, INOUE, Kyoichi, UOI, Miyuki, HOSOKAWA, Hiroshi, ASADA, Yasuo, TOYAZAKI, Noritsuna

Journal:

Internal Medicine

Year:

1993

Language:

english

File:

PDF, 4.63 MB

english, 1993

27

Clinical Characteristics and Prognostic Factors in Dogs with Histiocytic Sarcomas in Japan

TAKAHASHI, Masashi, TOMIYASU, Hirotaka, HOTTA, Eri, ASADA, Hajime, FUKUSHIMA, Kenjiro, KANEMOTO, Hideyuki, FUJINO, Yasuhito, OHNO, Koichi, UCHIDA, Kazuyuki, NAKAYAMA, Hiroyuki, TSUJIMOTO, Hajime

Journal:

Journal of Veterinary Medical Science

Year:

2014

Language:

english

File:

PDF, 511 KB

english, 2014

28

Analysis of Scattered Radiation in an Irradiated Body by Means of the Monte Carlo Simulation: Back-scatter Factors of Diagnostic X-rays in the Incident Surface Which is Not Flat

Kato, Hideki, Minami, Kazuyuki, Asada, Yasuki, Suzuki, Shoichi

Journal:

Japanese Journal of Radiological Technology

Year:

2016

File:

PDF, 1.54 MB

2016

29

A Validity and Reliability Study of the Japanese Version of the Geriatric Depression Scale 15 (GDS-15-J)

Sugishita, Kazuyuki, Sugishita, Morihiro, Hemmi, Isao, Asada, Takashi, Tanigawa, Takeshi

Journal:

Clinical Gerontologist

Year:

2016

Language:

english

File:

PDF, 1.09 MB

english, 2016

30

The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics

HAMANA, MAKOTO, MATSUDA, KAZUTAKA, ASADA, KAZUYUKI

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 2.18 MB

english, 2016

31

PATIENT EXPOSURE DURING PLAIN RADIOGRAPHY AND MAMMOGRAPHY IN JAPAN IN 1974–2014

Matsunaga, Yuta, Kawaguchi, Ai, Kobayashi, Kenichi, Kobayashi, Masanao, Asada, Yasuki, Minami, Kazuyuki, Suzuki, Shoichi, Chida, Koichi

Journal:

Radiation Protection Dosimetry

Year:

2017

Language:

english

File:

PDF, 321 KB

english, 2017

32

Successful replacement of the systemic tricuspid valve with a mechanical valve in a 3-month-old boy with congenitally corrected transposition of the great arteries having a dysplastic tricuspid valve

Asada, Dai, Ikeda, Kazuyuki, Yamagishi, Masaaki

Journal:

Cardiology in the Young

Year:

2017

Language:

english

File:

PDF, 139 KB

english, 2017

33

[ACM Press the third ACM SIGPLAN workshop - Baltimore, Maryland, USA (2010.09.25-2010.09.25)] Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming - MSFP '10 - Arrows are strong monads

Asada, Kazuyuki

Year:

2010

Language:

english

File:

PDF, 531 KB

english, 2010

34

Tissue Motion Annular Displacement of the Mitral Valve Can Be a Useful Index for the Evaluation of Left Ventricular Systolic Function by Echocardiography in Normal Children

Asada, Dai, Okumura, Kenichi, Ikeda, Kazuyuki, Itoi, Toshiyuki

Journal:

Pediatric Cardiology

Year:

2018

Language:

english

File:

PDF, 1.50 MB

english, 2018

35

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Generalised species of rigid resource terms

Tsukada, Takeshi, Asada, Kazuyuki, Ong, C.-H. Luke

Year:

2017

Language:

english

File:

PDF, 388 KB

english, 2017

36

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Species, Profunctors and Taylor Expansion Weighted by SMCC

Tsukada, Takeshi, Asada, Kazuyuki, Ong, C.-H. Luke

Year:

2018

Language:

english

File:

PDF, 803 KB

english, 2018

37

P1-28: Supranormal Orientation Selectivity of Visual Neurons in Orientation-Restricted Animals

Sasaki, Kota S, Kimura, Rui, Ninomiya, Taihei, Tabuchi, Yuka, Tanaka, Hiroki, Fukui, Masayuki, Asada, Yusuke C, Arai, Toshiya, Nishimoto, Shinji, Sanada, Takahisa M, Tani, Toshiki, Imamura, Kazuyuki,

Journal:

Year:

2012

Language:

english

File:

PDF, 73 KB

english, 2012

38

Hepatic copper accumulation in a young cat with familial variations in the ATP7B gene

Asada, Hajime, Kojima, Mari, Nagahara, Takuro, Goto-Koshino, Yuko, Chambers, James K., Nakagawa, Taisuke, Yokoyama, Nozomu, Uchida, Kazuyuki, Tsujimoto, Hajime, Ohno, Koichi

Journal:

Journal of Veterinary Internal Medicine

Year:

2018

Language:

english

File:

PDF, 898 KB

english, 2018

39

A 2-base insertion in exon 5 is a common mutation of the TP53 gene in dogs with histiocytic sarcoma

ASADA, Hajime, TSUBOI, Masaya, CHAMBERS, James K., UCHIDA, Kazuyuki, TOMIYASU, Hirotaka, GOTO-KOSHINO, Yuko, OHNO, Koichi, TSUJIMOTO, Hajime

Journal:

Journal of Veterinary Medical Science

Year:

2017

Language:

english

File:

PDF, 1.62 MB

english, 2017

40

[ACM Press the 2017 ACM SIGPLAN Workshop - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2017 - A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction

Matsuda, Kazutaka, Asada, Kazuyuki

Year:

2017

File:

PDF, 572 KB

2017

41

Development of a small X‐ray source using an ultraviolet laser and pyroelectric crystal

Minami, Kazuyuki, Ishida, Toshiyuki, Asada, Yasuki, Shirakawa, Seiji, Kobayashi, Masanao, Suzuki, Shoichi, Konishi, Tomimasa, Mimura, Hidenori

Journal:

X-Ray Spectrometry

Year:

2019

Language:

english

File:

PDF, 585 KB

english, 2019

42

Variations in ATP7B in cats with primary copper-associated hepatopathy

Asada, Hajime, Chambers, James K, Kojima, Mari, Goto-Koshino, Yuko, Nakagawa, Taisuke, Yokoyama, Nozomu, Tsuboi, Masaya, Uchida, Kazuyuki, Tsujimoto, Hajime, Ohno, Koichi

Journal:

Journal of Feline Medicine & Surgery

Year:

2019

Language:

english

File:

PDF, 1.10 MB

english, 2019

43

Immunoradiometric assay for the N-terminal fragment of proatrial natriuretic peptidein human plasma

Numata, Yoshito, Dohi, Keiji, Furukawa, Ayako, Kikuoka, Shino, Asada, Hidehisa, Fukunaga, Takahiro, Taniguchi, Yasushi, Sasakura, Kazuyuki, Tsuji, Tetsuo, Inouye, Ken, Yoshimura, Michihiro, Itoh, Hiro

Journal:

Clinical Chemistry

Year:

1998

File:

PDF, 346 KB

1998

44

Evaluation of exposure dose in fetal computed tomography using organ-effective modulation

Kobayashi, Masanao, Haba, Tomonobu, Suzuki, Sayaka, Nishihara, Yusei, Asada, Yasuki, Minami, Kazuyuki

Journal:

Physical and Engineering Sciences in Medicine

Year:

2020

File:

PDF, 2.95 MB

2020

45

Magnetic Resonance Imaging and Histopathologic Findings From a Standard Poodle With Neonatal Encephalopathy With Seizures

Yu, Yoshihiko, Hasegawa, Daisuke, Chambers, James K., Kojima, Kazuhiro, Asada, Rikako, Johnson, Gary S., Uchida, Kazuyuki

Journal:

Frontiers in Veterinary Science

Year:

2020

File:

PDF, 2.24 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски